($\lambda$$a$,$b$,$z$. gcd($a$;$b$)) $\in$ $\mathbb{Z}\rightarrow\mathbb{Z}\rightarrow\downarrow$True$\rightarrow\mathbb{Z}$